Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
971	Cisco 1-Year Limited Hardware Warranty, 20 Day RTF Terms The following are special terms applicable to your hardware warranty. Your formal Warranty Statement, including the warranty applicable to Cisco software, appears Add to Reading List Source URL: www.cisco.com Language: English Computing Warranty Software Electronic engineering Computer network security Cisco Security Agent Cisco Unified Communications Manager Cisco Systems Deep packet inspection Videotelephony
972	eManifest Review Review Engagement December 2012 Add to Reading List Source URL: cbsa.gc.ca Language: English - Date: 2013-10-10 13:21:59 Software engineering Project management Systems engineering Software development process Formal methods Systems development life-cycle Project governance Project manager Quality assurance Software development Management Information technology management
973	Project Managers’ Advisory Group MINUTES February 21, 2011 Attending: Bob Giannuzzi Add to Reading List Source URL: www.epmo.scio.nc.gov Language: English - Date: 2011-03-28 14:57:17 Software development process Software Requirement Systems engineering process Software development Formal methods Project management
974	FOR IMMEDIATE RELEASE Contact: Erin Leahy[removed]ext[removed]removed] GOVERNMENT AGENCIES ADDING A PETABYTE OF NEW DATA IN NEXT TWO Add to Reading List Source URL: www.meritalk.com Language: English - Date: 2012-05-04 15:32:03 Data management Database management systems Formal sciences Cloud storage Data center Networks Big data Data mining Technology Concurrent computing Computing
975	eManifest Review Review Engagement December 2012 Add to Reading List Source URL: cbsa-asfc.gc.ca Language: English - Date: 2013-10-16 07:44:14 Software engineering Project management Systems engineering Software development process Formal methods Systems development life-cycle Project governance Project manager Quality assurance Software development Management Information technology management
976	Learning from the World Bank’s “Big Data” Exploration Weekend by Dennis D. McDonald, Ph.D.1 March 21, 2013 Add to Reading List Source URL: www.ddmcd.com Language: English - Date: 2013-03-21 11:10:57 Data management Science Formal sciences Big data Data modeling Transaction processing Data analysis Database Data quality Technology Database management systems Database theory
977	Sharon Hayes explained structure of Project Management Office Add to Reading List Source URL: www.epmo.scio.nc.gov Language: English - Date: 2009-03-31 14:58:17 Formal methods Information technology management Software development process Project manager Systems engineering process STLC Dynamic systems development method Project management Software development Management
978	FMICS 2013 18th International Workshop on Formal Methods for Industrial Critical Systems September 23-24, 2013 Madrid (Spain) Co-located with SEFM 2013 Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-03-19 13:18:58 Algorithmic Number Theory Symposium Computer science Science Mathematics Formal methods International Conference on Software Engineering and Formal Methods Electronic submission
979	eManifest Review Review Engagement December 2012 Add to Reading List Source URL: asfc.gc.ca Language: English - Date: 2013-10-16 07:44:14 Software engineering Project management Systems engineering Software development process Formal methods Systems development life-cycle Project governance Project manager Quality assurance Software development Management Information technology management
980	© Cukic[removed]Combining Performance Modeling and Risk Analysis: A Homeland Security Case Study Bojan Cukic, Jesse Mussgrove Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:18 Biometrics Identification Surveillance Software development process Verification and validation Security Science Systems engineering Formal methods

UPDATE